MGI:3773272 http://identifiers.org/mgd/MGI:3773272 Hoxb1<cre> targeted mutation 1, Stephen O'Gorman B1-cre Recombinase Hoxb1<tm1(cre)Og>